A new class of order types

New Criteria for Existence of a Class of Generalized Euler-types Constants

One of the most important mathematical constants is Euler-Mascheroni constant that is the limit of the sequence --------------------------------  and is denoted by gamma. Some other developed constants known as Euler type constants are introduced in order to generalize the above constant. In the present paper, inspired by the functional sequence derivative of the limit summand of functions (i...

Sufficient Conditions for a New Class of Polynomial Analytic Functions of Reciprocal Order alpha

In this paper, we consider a new class of analytic functions in the unit disk using polynomials of order alpha. We give some sufficient conditions for functions belonging to this class.

A New Class of Spatial Covariance Functions Generated by Higher-order Kernels

Covariance functions and variograms play a fundamental role in exploratory analysis and statistical modelling of spatial and spatio-temporal datasets. In this paper, we construct a new class of spatial covariance functions using the Fourier transform of some higher-order kernels. Moreover, we extend this class of spatial covariance functions to the spatio-temporal setting using the idea used in...

A New Class of Banach Sequence Spaces

A First-Order Logic with First-Class Types

This paper presents a strongly complete calculus for a firstorder statically-typed predicate logic with first-class types, type predicates and casts, provided that the type hierarchy is Noetherian. We show that this restriction cannot be relaxed.